1. Formal development of reactive systems :
پدیدآورنده : Claus Lewerentz, Thomas Lindner, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software -- Development.
رده :
QA76
.
76
.
D47
C538
1995
2. Formal development of reactive systems : case study production cell
پدیدآورنده : Claus Lewerentz, Thomas Lindner )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
891